1

The unphysical nature of `warp drive'

Year:
1997
Language:
english
File:
PDF, 140 KB
english, 1997
8

Higher-order and modal logic as a framework for explanation-based generalization

Year:
1992
Language:
english
File:
PDF, 1.82 MB
english, 1992
13

Higher-Order and Modal Logic as a Framework for Explanation-Based Generalization

Year:
1992
Language:
english
File:
PDF, 1.81 MB
english, 1992
14

Linear logic propositions as session types

Year:
2016
Language:
english
File:
PDF, 324 KB
english, 2016
17

Structural Cut Elimination: I. Intuitionistic and Classical Logic

Year:
2000
Language:
english
File:
PDF, 301 KB
english, 2000
25

Contextual modal type theory

Year:
2008
Language:
english
File:
PDF, 296 KB
english, 2008
28

A judgmental reconstruction of modal logic

Year:
2001
Language:
english
File:
PDF, 434 KB
english, 2001
31

Natural Deduction || Note by the Guest Editors

Year:
1998
Language:
english
File:
PDF, 195 KB
english, 1998
41

Tridirectional typechecking

Year:
2004
Language:
english
File:
PDF, 177 KB
english, 2004
47

A Linear Logical Framework

Year:
2002
Language:
english
File:
PDF, 382 KB
english, 2002
50

Comparison of thorney island data with heavy gas dispersion models

Year:
1987
Language:
english
File:
PDF, 1.59 MB
english, 1987